Бет Эверт Виллем
       > НА ГЛАВНУЮ > БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ > УКАЗАТЕЛЬ Б >

ссылка на XPOHOC

Бет Эверт Виллем

1908-1964

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ


XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
ФОРУМ ХРОНОСА
НОВОСТИ ХРОНОСА
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА

Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ XX ВЕКА
ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ
ПРАВИТЕЛИ МИРА
ВОЙНА 1812 ГОДА
ПЕРВАЯ МИРОВАЯ
СЛАВЯНСТВО
ЭТНОЦИКЛОПЕДИЯ
АПСУАРА
РУССКОЕ ПОЛЕ
1937-й и другие годы

Эверт Виллем Бет

Бет (Beth) Эверт Виллем (17 июля 1908, Алмело, Нидерланды — 12 апреля 1964, Амстердам) — нидерландский философ и логик, ученик Брауэра. В 1933—1945 — преподаватель Утрехтского университета; с 1946 — профессор логики Амстердамского университета, с 1952 — директор Института философии точных наук в Амстердаме. Испытал влияние логического эмпиризма, особенно работ Карнапа по логике и основаниям математики, однако не принял исходные установки неопозитивизма. В основе общей философской позиции Бета лежит тезис о необходимости синтеза логики, оснований математики, истории точных наук и психологии мышления. Резко выступал против идеализма и считал, что современная философия в целом и философия математики в частности развиваются в направлении к реализму. Под реализмом Бет понимал концепцию, утверждающую, что человек в процессе своего опыта вступает в контакт с различными сферами реальности, несводимыми друг к другу, однако связанными между собой, дополняющими друг друга, причем эта связь фиксируется с помощью онтологических допущений, проверяемых на основе имеющихся теорий. По мнению Бета, формальный анализ дедуктивной структуры математических теорий является основой философии математики. Вместе с тем в математике важную роль играет математическая и логическая интуиция, которую необходимо исследовать с помощью рациональных методов. Бет разработал развернутую концепцию объекта математики: на первом уровне в качестве такового выступает мир человеческого опыта, на втором — структура мира в той мере, в какой она явно выражается в математическом языке, и, наконец, на третьем уровне — бесконечность. Рассматривая соотношение логики и психологии, Бет считал эти дисциплины автономными и взаимно дополняющими друг друга. Он выступал против любых вариантов психологизма в логике (и математике) и логицизма — в психологии. В книге «Математическая эпистемология и философия» (Mathematical Epistemology and Philosophy. Dordrecht, 1966) авторы (Бет и Пиаже), несмотря на разногласия по многим вопросам, сформулировали общую программу междисциплинарного подхода к эпистемологии, основанную на переходе от исследования «психологического субъекта», центрированного вокруг собственного внутреннего мира сознания, к «эпистемологическому субъекту», когнитивные структуры которого производны от наиболее общих механизмов координации действий субъектов. При этом генетическое исследование мышления должно быть органически связано с использованием историко-критического метода. Бет внес значительный вклад в развитие современной логики. Он разработал метод семантических таблиц, обобщающий табличную процедуру оценки обозначимости формул классической пропорциональной логики на логику предикатов (первого порядка): построил семантику интуиционистской логики, использующую концепцию возможных миров (оказавшую влияние на работы Крипке). Важным результатом Бета явилась доказанная им в 1953 теорема, которая завершила построение классической теории полной определимости и стимулировала дальнейшие исследования по теории определимости в формализованных системах (Л. Свенониус, М. Маккей, Д. Куекер и др.).

В. H. Садовский

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. I, А - Д, с. 256-257.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Сочинения:

Метод семантических таблиц. — В кн.: Математическая теория логического вывода. М., 1967;

Les fondements logiques des mathematiques. P.—Louvain, 1955;

L'existenceenmathematique. P., 1956;

La crise dc la raison et ia logique. P.—Louvain, 1957;

Formal Methods. An Introduction to Symbolic Logic. Dordrecht, 1962;

Mathematical Thought. Dordrecht, 1965;

Moderne Logica. Assen, 1966.

Литература:

Staal J.F. E. W. Beth. - «Dialectica», v. 19, 1965;

Beth E. W. Memorial Colloquium. Dordrecht, 1967.

 

 

 

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ



ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС